Buy Used and New Martin Fränzle Books

Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings: 9884 (Lecture Notes in Computer Science)

by Martin Fränzle, Nicolas Markey

ISBN 13: 9783319448770

Format: Paperback (260 pages)
Publisher: Springer
Published: 17 Aug 2016

Save for later

Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, ... 9984 (Lecture Notes in Computer Science)

by Martin Fränzle, Deepak Kapur, Naijun Zhan

ISBN 13: 9783319476766

Format: Paperback (344 pages)
Publisher: Springer
Published: 06 Oct 2016

Save for later